Logical Truth and Analyticity in Carnap S "logical Syntax of Language"

Throughout his philosophical career, Carnap places the foundations of logic and mathematics at the center of his inquiries: he is concerned above all with the Kantian question "How is mathematics (both pure and applied) possible?" Although he changes his mind about many particular issues, Carnap never gives up his belief in the importance and centrality of this question—nor does he ever waver in his conviction that he has the answer: the possibility of mathematics and logic is to be explained by a sharp distinction between formal and factual, analytic and synthetic truth. Thus, throughout his career Carnap calls for, and attempts to provide